منابع مشابه
Homotopical intersection theory I
We give a new approach to intersection theory. Our “cycles” are closed manifolds mapping into compact manifolds and our “intersections” are elements of a homotopy group of a certain Thom space. The results are then applied in various contexts, including fixed point, linking and disjunction problems. Our main theorems resemble those of Hatcher and Quinn [H-Q], but our proofs are fundamentally di...
متن کاملHomotopical Nilpotence of S3
In [l] Berstein and Ganea define the nilpotence of an ü-space to be the least integer » such that the »-commutator is nullhomotopic. We prove that S3 with the usual multiplication is 4 nilpotent. Let X be an ii-space. The 2-commutator c2: XXX—>X is defined by c2(x, y) =xyx~1y~1 where the multiplication and inverses are given by the ü-space structure of X. The »-commutator cn: X"-+X is defined i...
متن کاملHomotopical Patch Theory ( Expanded
Homotopy type theory is an extension of Martin-Löf type theory, based on a correspondence with homotopy theory and higher category theory. In homotopy type theory, the propositional equality type becomes proof-relevant, and corresponds to paths in a space. This allows for a new class of datatypes, called higher inductive types, which are specified by constructors not only for points but also fo...
متن کاملHomotopical rigidity of polygonal billiards
Consider two k-gons P and Q. We say that the billiard flows in P and Q are homotopically equivalent if the set of conjugacy classes in the fundamental group of P which contain a periodic billiard orbit agrees with the analogous set for Q. We study this equivalence relationship and compare it to the equivalence relations, order equivalence and code equivalence, introduced in [BT1, BT2]. In parti...
متن کاملHomotopical Uniqueness of Classifying Spaces
If G is a connected compact Lie group, then for almost all prime numbers p the mod p cohomology ring of the classifying space BG is a finitely generated polynomial algebra. In 1961, N. Steenrod [24] asked in general for a determination of all spaces X such that H∗(X,Fp) is a finitely generated polynomial algebra (i.e., such that X has a polynomial cohomology ring); at that time, the only exampl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematics Research Notices
سال: 2020
ISSN: 1073-7928,1687-0247
DOI: 10.1093/imrn/rnaa091